Multzoen teoria informal

Multzoen teoria informala (ingelesez, Naive set theory) matematikaren oinarriei buruzko eztabaidetan erabiltzen diren multzoen teoriek osatzen dute.^[1] Logika formala erabiliz definitzen den multzo-teoria axiomatikoarekin konparatuz, multzo-teoria informalean hizkuntza naturala erabiltzen da. Matematika diskretuan erabiltzen diren multzoak deskribatzen dira (adibidez, Venn-en diagramak eta Boole-ren aljebrari buruzko arrazonamendu sinbolikoa). Gaur egun, multzo-teoriaren kontzeptuak formaltasun matematiko gehiegirik gabe erabiltzeko egokia da .^[2]

Multzoak oso garrantzitsuak dira matematikan; tratamendu formal modernoetan, matematika-objektu gehienak (zenbakiak, erlazioak, funtzioak, etab.) multzoen bidez definitzen dira. Multzoen teoria informala nahikoa da helburu askotarako.

↑ (Ingelesez) Halmos, Paul. (1960). Naive Set Theory. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (Paperback edition); 2017 Dover reprint ISBN 9780486814872.
↑ Mac Lane, Saunders. (1971). Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967). Amer. Math. Soc., 231–240 or..

[:0-1] (Ingelesez) Halmos, Paul. (1960). Naive Set Theory. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (Paperback edition); 2017 Dover reprint ISBN 9780486814872.

[2] Mac Lane, Saunders. (1971). Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967). Amer. Math. Soc., 231–240 or..

[1]

[2]